mine section workers - German English Dictionary